D. Prawitz; "Natural deduction. A proof-theoretical study"